Model theory - PDFSEARCH.IO - Document Search Engine

Model theory
Results: 13417

#	Item
721	The Unicist Research Institute Pioneers in Complexity Science Research since 1976 40th Anniversary Add to Reading List Source URL: www.unicist.org Language: English - Date: 2016-08-05 10:31:47 Information science Technical communication Ontology Systems Knowledge representation Peter Belohlavek Conceptual model Complex adaptive system Systems theory Complex systems Systems engineering Upper ontology
722	LinkViews: An Integration Framework for Relational and Stream Systems Yannis Sotiropoulos, Damianos Chatziantoniou Department of Management Science and Technology Athens University of Economics and Business {yannis,damia Add to Reading List Source URL: birte2013.cs.aau.dk Language: English - Date: 2013-09-02 16:38:19 Data modeling SQL keywords Relational database management systems Relational model Database theory SQL Database Data stream management system Relational database Unique key From Join
723	FIRST ORDER THEORIES OF INDIVIDUAL CONCEPTS AND PROPOSITIONS John McCarthy, Stanford University 2000 Oct 31, 10:36 a.m. Abstract Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:10:07 Predicate logic Quantification Philosophical logic Mathematical logic Model theory Modal logic Predicate FO Axiom First-order logic Quantifier Existential quantification
724	Preliminaries Tensorial strength Morita theory in enriched context Morita theory in enriched context Kruna Segrt Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2010-06-26 06:49:53 Homotopy theory Category theory Adjoint functors Model category Monad Fibration Morita equivalence Weak equivalence
725	571 Documenta Math. Purity Results for p-Divisible Groups and Abelian Schemes over Regular Bases Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2010-08-26 14:28:57 Measure theory Lifting theory Model theory Formal languages Invariant subspace Sigma-algebra
726	A Sketch for a Quantum Theory of Gravity III Dirac’s Large Number Hypothesis James G. Gilson ∗ Add to Reading List Source URL: www.fine-structure-constant.org Language: English - Date: 2012-11-10 13:06:25 Theories of gravitation General relativity Physics beyond the Standard Model Fellows of the Royal Society Members of the Order of Merit Quantum gravity Paul Dirac Dimensionless physical constant Quantum mechanics Planck units
727	Introduction & Motivation Relations and Operations The complexity of positive equality-free first-order logic II: the four-element case Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-08-24 16:58:08 Complexity classes Finite model theory Computational complexity theory Descriptive complexity Structural complexity theory FO SO P versus NP problem NP P Reduction HO
728	Frozen variables in random boolean constraint satisfaction problems Michael Molloy and Ricardo Restrepo Department of Computer Science, University of Toronto 10 King’s College Road, Toronto, ON July 3, 2012 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2012-07-03 16:07:59 Constraint programming Constraint satisfaction problem Structure Hypergraph Model theory
729	Using Powerdomains to Generalize Relational Databases Peter Buneman Achim Jung Atsushi Ohoriy Abstract Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:17 Logic in computer science Relational model Mathematical logic Data modeling Relational algebra Domain theory Finitary relation Denotational semantics Semantics Power domains Relational database Functional dependency
730	Comparison of Breeding Values for Daily Gains of Bulls Estimated with Multi-Trait and Random Regression Models Add to Reading List Source URL: www.archanimbreed.com Language: English - Date: 2016-01-06 06:20:56 Regression analysis Econometrics Statistical methods Estimation theory Linear regression Heritability Mixed model Statistics Holstein Friesian cattle

UPDATE